Strategies for Source-to-Source Constant Propagation
نویسندگان
چکیده
منابع مشابه
Strategies for Source-to-Source Constant Propagation
Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax trees in Stratego, a rewriting system extended with ...
متن کاملDesign Strategies for Source Coupled Logic Gates
In this paper, a strategy for the design of source-coupled logic (SCL) gates both with and without an output buffer is proposed. Closed-form design equations to size bias currents and transistor aspect ratios to meet assigned specifications are derived from a simple SCL gate analytical delay model, shown to be sufficiently accurate by extensive simulations. The design criteria proposed are simp...
متن کاملStrategies for Delay-Limited Source-Channel Coding
In point-to-point source-channel communication with a fidelity criterion and a transmission cost constraint, the region of achievable cost and fidelity pairs is completely characterized by Shannon’s separation theorem. However, this is in general only true if coding of arbitrary complexity and delay is admitted. If the delay is constrained, the separation theorem only provides an outer bound to...
متن کاملSelection of energy source and evolutionary stable strategies for power plants under financial intervention of government
Currently, many socially responsible governments adopt economic incentives and deterrents to manage environmental impacts of electricity suppliers. Considering the Stackelberg leadership of the government, the government’s role in the competition of power plants in an electricity market is investigated. A one-population evolutionary game model of power plants is developed to study how their pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80605-4